TAGs: compute x+y